首页> 外文OA文献 >Formal verification of programs specified with signal: application to a power transformer station controller

【2h】

Formal verification of programs specified with signal: application to a power transformer station controller

机译：对信号指定程序的形式验证：应用于变电站控制器

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Marchand, Hervé; Rutten, Éric; Le Borgne, Michel; Samaan, Mazen;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Formal verification of programs specified with signal f application to a power transformer station controller [J] . H. Marchand, E. Rutten, M. Le Borgne Science of Computer Programming . 2001,第1期

机译：对用信号f指定的程序进行形式化验证，并将其应用到变电站控制器
2. Formal Hardware/Software Co-Verification of Embedded Power Controllers [J] . Dasgupta P., Srivas M.K., Mukherjee R. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2014,第12期

机译：嵌入式电源控制器的正式硬件/软件共同验证
3. Incremental design of a power transformer station controller usinga controller synthesis methodology [J] . Marchand H., Samaan M. IEEE Transactions on Software Engineering . 2000,第8期

机译：使用控制器综合方法的变电站控制器的增量设计
4. Formal Verification of Signal Programs: Application to a Power Transformer Station Controller [C] . Michel Le Borgne, Herve Marchand, Eric Rutten, International Conference on Algebraic Methodology and Software Technology . 1996

机译：信号程序的正式验证：应用于电源变压器站控制器
5. Novel interface based on the gating signal averaging method for accurate hardware-in-the-loop testing of digital controllers for power electronics applications. [D] . Figueroa Jimenez, Hernan P. 2005

机译：基于门控信号平均方法的新型接口，可对电力电子应用中的数字控制器进行精确的硬件在环测试。
6. Performance analysis of electronic power transformer based on neuro-fuzzy controller [O] . Hakan Acikgoz, O. Fatih Kececioglu, Ceyhun Yildiz, -1

机译：基于神经模糊控制器的电力变压器性能分析
7. Formal verification of programs specified with signal: application to a power transformer station controller [O] . Marchand H., Rutten E., Le Borgne M., 2001

机译：对信号指定程序的形式验证：应用于变电站控制器
8. Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL [R] . Havelund, Klaus, Larsen, Kim Guldstrand, Skou, Arne 1999

机译：使用实时模型检查器UppaaL对电源控制器进行形式验证

Formal verification of programs specified with signal: application to a power transformer station controller

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅